Scalad: An Interactive Type-level Debugger Hubert Plociniczak École Polytechnique Fédérale de Lausanne {first.last}@epfl.ch

Source URL: lampwww.epfl.ch

• Software engineering
• Computing
• Computer programming
• Type theory
• Data types
• Functional languages
• Procedural programming languages
• Cross-platform software
• Type inference
• Scala
• Covariance and contravariance
• Type system

A convex formulation for model predictive perimeter flow control in multi-region cities Anastasios Kouvelas Mohammadreza Saeedmanesh Nikolas Geroliminis École Polytechnique Fédérale de Lausanne

Source URL: www.strc.ch

• Transport
• Land transport
• Mathematical optimization
• Operations research
• Road transport
• Convex optimization
• Control theory
• Model predictive control
• Linear programming
• Traffic flow
• Fundamental diagram of traffic flow
• Optimal control

The Focused Calculus of Structures Kaustuv Chaudhuri, Nicolas Guenot, and Lutz Straßburger INRIA & LIX/École Polytechnique Route de Saclay, 91128 Palaiseau, France {kaustuv,nguenot,lutz}@lix.polytechnique.fr

Source URL: www.lix.polytechnique.fr

• Logic
• Proof theory
• Mathematical logic
• Sequent
• Linear logic
• Cut-elimination theorem
• Noncommutative logic
• Rule of inference
• Soundness
• Natural deduction
• CurryHoward correspondence

SnapQueue: Lock-Free Queue with Constant Time Snapshots Aleksandar Prokopec École Polytechnique Fédérale de Lausanne, Switzerland Abstract

Source URL: axel22.github.io

• Abstract data types
• Computing
• Data structures
• Software engineering
• Computer science
• Queue
• Double-ended queue
• Amortized analysis
• Persistent data structure
• Rope
• Conc-Tree list

Black-Box Complexity—A Complexity Theory for Evolutionary Computation ´ Presenter: Benjamin Doerr, Ecole Polytechnique de Paris, France; email .

Source URL: www.conference123.org

• Evolution
• Computational complexity theory
• Theory of computation
• Metaphysics
• Analysis of algorithms
• Probabilistic complexity theory
• Cybernetics
• Applied mathematics
• Complexity
• Randomized algorithm
• Algorithm
• Evolutionary algorithm

The State of the Meta Eugene Burmako (@xeno by) ´ Ecole Polytechnique F´ ed´

Source URL: scalamacros.org

• Software engineering
• Computer programming
• Software
• Metaprogramming
• Procedural programming languages
• Domain-specific language
• D
• Macro
• Extensible Embeddable Language

Multivariate Power Series Multiplication ´ ´ Eric Schost, LIX, Ecole polytechnique

Source URL: www.csd.uwo.ca

• Mathematics
• Algebra
• Abstract algebra
• Polynomials
• Multiplication
• Commutative algebra
• Interpolation
• ToomCook multiplication
• Lagrange polynomial
• Multiplication algorithm
• Discrete Fourier transform
• Time complexity

Philosophy of Scala Macros Eugene Burmako ´ Ecole Polytechnique F´ ed´

Source URL: scalamacros.org

• Software engineering
• Computing
• Computer programming
• Functional languages
• Object-oriented programming languages
• Concurrent programming languages
• Procedural programming languages
• Transformation languages
• Scala
• Macro
• Nemerle
• Metaprogramming

École Polytechnique Faculty of Applied Mathematics University of Warsaw Faculty of Mathematics, Informatics and Mechanics Wojciech Zaremba Student no

Source URL: cs.nyu.edu

• Neuroscience
• Nervous system
• Medical imaging
• Electroencephalography
• Neurophysiology
• Electrophysiology
• Electrodiagnosis
• Neurotechnology
• EEGLAB
• Neural oscillation
• Functional magnetic resonance imaging
• Event-related potential

Henri SMETS Agrégé, licencié en économie et diplômé de l’École Polytechnique de Bruxelles, a obtenu son doctorat au Massachusetts Institute of Technology. Ancien membre de la Direction de l’environnement de

Source URL: www.editions-johanet.net